\section{What could not happen}

When request\_i is high, all the other inputs must have valid values.
    